∂11-OCT-74 1320 1,VRP AT TTY121 1320 @ AI Notes coming in next mail. Tell RWW when you get them, in case he is interested in the math - some of my proofs are more general than usual. I would be delighted to have anything of yours on your Scottish LISP notes.